We take a step - wise refinement approach to the development of correct reconfigurable hardware circuits from formal specifications . a functional programming notation is used for specifying algorithms and for reasoning about them 建议的开发模型用功能记号来描述算法以及对于算法的推理，用程序编译方案从功能描述导出大量的并行算法。
